This papers’ goal is to present a survey of the contemporary discussions regarding truthmakers. The emphasis will be on the characterization of the truthmaking relation and on the problems involved in universal propositions and negations.

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (shrink)

The aim of this paper is to present and analyze the truthmaker monism , a result according to which any truthmaker makes true any true proposition. Truthmaker monism depends on the characterization of the truthmaking relation in terms of strict implication, the principle of excluded middle and the so called disjunction thesis. I will restrict the discussion to a theory of truthmakers of empirical truths and I will argue that, in the scope of such a theory, the problem does not (...) lie in the use of strict implication neither in the excluded middle but, rather, in the disjunction thesis, that must be rejected. (shrink)

We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.

This paper introduces the logic of evidence and truth \ as an extension of the Belnap–Dunn four-valued logic \. \ is a slightly modified version of the logic \, presented in Carnielli and Rodrigues. While \ is equipped only with a classicality operator \, \ is equipped with a non-classicality operator \ as well, dual to \. Both \ and \ are logics of formal inconsistency and undeterminedness in which the operator \ recovers classical logic for propositions in its (...) scope. Evidence is a notion weaker than truth in the sense that there may be evidence for a proposition \ even if \ is not true. As well as \, \ is able to express preservation of evidence and preservation of truth. The primary aim of this paper is to propose a probabilistic semantics for \ where statements \\) and \\) express, respectively, the amount of evidence available for \ and the degree to which the evidence for \ is expected to behave classically—or non-classically for \ \). A probabilistic scenario is paracomplete when \ + P 1\), and in both cases, \ < 1\). If \ = 1\), or \ = 0\), classical probability is recovered for \. The proposition \, a theorem of \, partitions what we call the information space, and thus allows us to obtain some new versions of known results of standard probability theory. (shrink)

The purpose of this paper is to present a paraconsistent formal system and a corresponding intended interpretation according to which true contradictions are not tolerated. Contradictions are, instead, epistemically understood as conflicting evidence, where evidence for a proposition A is understood as reasons for believing that A is true. The paper defines a paraconsistent and paracomplete natural deduction system, called the Basic Logic of Evidence, and extends it to the Logic of Evidence and Truth. The latter is a logic of (...) formal inconsistency and undeterminedness that is able to express not only preservation of evidence but also preservation of truth. LETj is anti-dialetheist in the sense that, according to the intuitive interpretation proposed here, its consequence relation is trivial in the presence of any true contradiction. Adequate semantics and a decision method are presented for both BLE and LETj, as well as some technical results that fit the intended interpretation. (shrink)

The aim of this text is to reply to criticisms of the logics of evidence and truth and the epistemic approach to paraconsistency advanced by Barrio [2018], and Lo Guercio and Szmuc [2018]. We also clarify the notion of evidence that underlies the intended interpretation of these logics and is a central point of Barrio’s and Lo Guercio & Szmuc’s criticisms.

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

From the technical point of view, philosophically neutral, the duality between a paraconsistent and a paracomplete logic lies in the fact that explosion does not hold in the former and excluded middle does not hold in the latter. From the point of view of the motivations for rejecting explosion and excluded middle, this duality can be interpreted either ontologically or epistemically. An ontological interpretation of intuitionistic logic is Brouwer’s idealism; of paraconsistency is dialetheism. The epistemic interpretation of intuitionistic logic is (...) in terms of preservation of constructive proof; of paraconsistency is in terms of preservation of evidence. In this paper, we explain and defend the epistemic approach to paraconsistency. We argue that it is more plausible than dialetheism and allows a peaceful and fruitful coexistence with classical logic. (shrink)

The main aim of this paper is to introduce first-order versions of logics of evidence and truth, together with corresponding sound and complete Kripke semantics with variable and constant domains. According to the intuitive interpretation proposed here, these logics intend to represent possibly inconsistent and incomplete information bases over time. The paper also discusses the connections between Belnap-Dunn’s and da Costa’s approaches to paraconsistency, and argues that the logics of evidence and truth combine them in a very natural way.

A fundação da missão redentorista alemã no Brasil, em 1894, representou para os missionários bávaros uma possibilidade pessoal de realização plena daquilo que entendiam como sua vocação, qual seja, a salvação das “almas abandonadas” através do sacrifício pessoal. Todavia, a alteridade entre o que se espera e o que se encontra levou essas expectativas idealizadas ora ao desencantamento, ora ao reencantamento e reelaboração, o que impactou não somente nas expectativas e ações religiosas individuais, mas igualmente no modo como tais sujeitos (...) encaram e transformam seu lugar de atuação missionária. Assim, o presente artigo pretende analisar de que modo os ideais de vocação, missão e sacrifício impactaram na construção de expectativas idealizadas por missionários da congregação redentorista bávara no Brasil, pensando como tais expectativas se transformaram a partir do choque de experiências com a realidade brasileira, tanto na desilusão, quanto na confirmação vocacional e reelaboração de suas próprias expectativas missionárias. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically (...) justify paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ¬A does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A. (shrink)

Foreword : Consistency, Contradiction, and Consequence.

The book Paraconsistent Logic: Consistency, Contradiction and Negation by Walter Carnielli and Marcelo Coniglio is the most thorough study of Logics of Formal Inconsistency...

The main aim of this paper is to introduce the logics of evidence and truth $$LET_{K}^+$$ and $$LET_{F}^+$$ together with sound, complete, and decidable six-valued deterministic semantics for them. These logics extend the logics $$LET_{K}$$ and $$LET_{F}^-$$ with rules of propagation of classicality, which are inferences that express how the classicality operator $${\circ }$$ is transmitted from less complex to more complex sentences, and vice-versa. The six-valued semantics here proposed extends the 4 values of Belnap-Dunn logic with 2 more values (...) that intend to represent (positive and negative) reliable information. A six-valued non-deterministic semantics for $$LET_{K}$$ is obtained by means of Nmatrices based on swap structures, and the six-valued semantics for $$LET_{K}^+$$ is then obtained by imposing restrictions on the semantics of $$LET_{K}$$. These restrictions correspond exactly to the rules of propagation of classicality that extend $$LET_{K}$$. The logic $$LET_{F}^+$$ is obtained as the implication-free fragment of $$LET_{K}^+$$. We also show that the 6 values of $$LET_{K}^+$$ and $$LET_{F}^+$$ define a lattice structure that extends the lattice L4 defined by the Belnap-Dunn four-valued logic with the 2 additional values mentioned above, intuitively interpreted as positive and negative reliable information. Finally, we also show that $$LET_{K}^+$$ is Blok-Pigozzi algebraizable and that its implication-free fragment $$LET_{F}^+$$ coincides with the degree-preserving logic of the involutive Stone algebras. (shrink)

Proof-theoretic semantics provides meanings to the connectives of intuitionistic logic without the need for a semantics in the standard sense of an attribution of semantic values to formulas. Meanings are given by the inference rules that, in this case, do not express preservation of truth but rather preservation of availability of a constructive proof. Elsewhere we presented two paraconsistent systems of natural deduction: the Basic Logic of Evidence and the Logic of Evidence and Truth. The rules of BLE have been (...) conceived to preserve a notion weaker than truth, namely, evidence, understood as reasons for believing in or accepting a given proposition. \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$LET_{J}$$\end{document}, on the other hand, is a logic of formal inconsistency and undeterminedness that extends \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$BLE$$\end{document} by adding resources to recover classical logic for formulas taken as true, or false. We extend the idea of proof-theoretic semantics to these logics and argue that the meanings of the connectives in BLE are given by the fact that its rules are concerned with preservation of the availability of evidence. An analogous idea also applies to \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$LET_{J}$$\end{document}. (shrink)

Normal 0 21 false false false MicrosoftInternetExplorer4 A vinda da Ordem Redentorista para o estado de Goiás, em 1894, revela um contexto político, econômico e religioso peculiar vivido pelo estado, em que, com o fim do regime de padroado, o controle das romarias populares, tanto quanto das manifestações religiosas não-católicas, foram de fundamental importância para a manutenção da hegemonia católica local. O papel desempenhado pelos redentoristas em Goiás, tanto no controle da romaria de Trindade, quanto no combate às religiões e (...) religiosidades não-católicas, teve importante reflexo na edição do jornal “Santuário da Trindade”, através do qual os religiosos incentivavam a participação popular na romaria, e, especialmente, intentavam a formação catequética dos fiéis católicos contra as “falsas religiões”. Este posicionamento redentorista diante das demais religiões, a partir do referido jornal, não condiz, no entanto, com as posições adotadas pelos religiosos da primeira geração, vinda ao estado em 1894, o que nos remete a mudanças significativas em sua postura política e religiosa que merecem ser interrogadas e investigadas. Destarte, o presente artigo objetiva uma análise histórica das mudanças de posicionamento da Ordem Redentorista em Goiás nas primeiras décadas do período pós-padroado, tomando como principal objeto de pesquisa o jornal “Santuário da Trindade”, publicado entre 1922 e 1931. Palavras-chave: Ultramontanismo. Ordem Redentorista. Goiás.The coming of the Redemptorist Order to the State of Goiás, in Brazil, in 1894, reveals a political, economic and religious peculiar context lived by the State. The end of the system of patronage and the control of popular pilgrimages, like non-Catholic religious manifestations, were of fundamental importance for the maintenance of local Catholic hegemony. The role played by the Redemptorists in Goiás, in the control of the pilgrimage of the Trinity or in conflict with non-Catholic religions and beliefs, influenced the journal "Santuário da Trindade", through which the Catholics encouraged popular participation in the pilgrimage, and especially encouraged the catechetical formation of Catholics against the so called "false religions”. Such positioning was contrary to the positions adopted by the religious of the first generation that arrived in Goiás in the year of 1894, which refers to significant changes in religious and political diverse posture that deserve to be questioned and investigated. Thus, this article aims to examine the positioning changes of the Redemptorist Order in Goiás in the first decades of the pós-padroado period, taking as its principal object the research journal "Shrine of the Trinity", published between 1922 and 1931. Keywords : Ultramontanism. Redemptorist Order. Goiás. (shrink)

Texto em homenagem à Carlos Drummond de Andrade.

Founded in 1732 in Scala by Afonso Maria de Liguori, the Congregation of the Most Holy Redeemer became one of the most important Catholic missionary congregations to work in Europe in the 19th century, both in the consolidation of ideals ultramontanos, as in the religious action with the faithful Catholics of the peripheries and rural areas. In Germany the Redemptorists experienced until the 1860s an intense moment of missionary activity and parochial care, especially in Bavaria, whereby they became especially known (...) for their rigorous confessionals activities. From the 1860s to the 1870s, however, some transformations in the national and international political context led the Catholicism to be linked, especially by some groups linked to Protestant liberalism, to an image of backwardness and superstition, something necessary to be overcome by a newly forged nation that wished to align itself on the paths of progress and modernity in consolidation in Europe. In addition to these imagery constantly reinforced by the liberal press, the Redemptorists and Jesuits were accused of threatening national sovereignty in favor of the papacy and, from the so-called Kulturkampf, were expelled from the German empire in 1873. However, one of the direct consequences of these 21 years of exile imposed on the German Redemptorists was the acceptance by them of the founding of a vice-province in Brazil, specifically in the states of Goiás and São Paulo. There, the same congregation that had once been a sign of backwardness and superstition in Germany, at the beginning of the 20th century became the main promoter of the progress and modernization of Goias, legitimating itself in the Brazilian religious field through the construction of the self-image of Catholicism as a rational, national and modern religion, much in contrast to the ultramontane discourse of the previous century. In view of this discussion and context, this dissertation aims to investigate the Bavarian Redemptorist who migrated as missionaries from Germany to Brazil between 1894 and 1930. Our central objective is to investigate how the experiences of the Redemptorist congregation in Germany in the 19th century conditioned the expectations of the missionaries who belonged to it on the future and progress in Goias in the 20th century, and how such expectations influenced the strategies adopted for Catholic legitimacy in the modernity under construction in Brazil. (shrink)

Apresento aqui por que Schopenhauer entende a natureza como um conceito construído pelo homem, abstrata e conceitual: uma palavra. Schopenhauer reformulou o idealismo transcendental de Kant para que os conceitos do entendimento não fizessem referência à sensibilidade, porque animais tem experiência do mundo fenomênico, ao contrário do que a teoria kantiana nos leva a crer. Afinal, em Kant, animais teriam de lidar com conceitos para representar objetos, o que Schopenhauer nega. Na teoria schopenhaueriana nossas percepções não necessitam das categorias do (...) entendimento para elaborar o objeto da experiência possível e tornar-se representação. O entendimento kantiano será mostrado como um objeto híbrido: meio representação, meio coisa-em-si, pois Kant misturou o pensar e o intuir, tornado a experiência e o mundo objetivo dependentes do entendimento. Porém, para Schopenhauer o objeto individual, as percepções são independentes do pensamento abstrato. O pensamento se envolve com conceitos e abstrai o que é comum dos objetos, originando-os. Já o entendimento é irracional, intuitivo e perceptivo. (shrink)

In this paper, we propose Kripke-style models for the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson’s logic N4 and the logic of first-degree entailment with a classicality operator ∘ that recovers classical logic for formulas in its scope. According to the intended interpretation here proposed, these models represent a database that receives information as time passes, and such information can be positive, negative, non-reliable, or reliable, while a formula ∘A means that the information about (...) A, either positive or negative, is reliable. This proposal is in line with the interpretation of N4 and FDE as information-based logics, but adds to the four scenarios expressed by them two new scenarios: reliable information for the truth and for the falsity of a given proposition. (shrink)

The intention of the present paper is to resettle the importance of the Comte’s thought to the philosophy of science. To do so, we discard certain prejudices about positivism and reassess certain comtean’s concepts, such as the three states law, the science’s classification and the role of hypotheses in order to restore its relevance in the background of the history of the philosophy.

The book Paraconsistent Logic: Consistency, Contradiction and Negation by Walter Carnielli and Marcelo Coniglio is the most thorough study of Logics of Formal Inconsistency...

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also discussed. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express metalogical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the logics of formal inconsistency and by the logics of formal undeterminedness. LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the validity of (...) the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core—in the case studied here, this common core is classical positive propositional logic. The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of LFI and undeterminedness, namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion one at a time. The last sections offer an algebraic account for such logics by adapting the swap structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite nondeterministic matrices. (shrink)

Gianni Vattimo associa a metafísica com a violência. Pretendemos demonstrar que a tese do pensamento fraco de Gianni Vattimo surge como agente redutor desta violência metafísica. Tal ontologia fraca entende que o cristianismo pós-moderno fundamenta-se na herança da kenosis¸ no esvaziamento-despojamento do Filho de Deus, o que indica a presença de elemento secularizante na raiz mesma do cristianismo. Com isso, o retorno do religioso percebido por Vattimo, não aparece como algo acidental, mas traz consigo a grave responsabilidade de pensar (...) o cristianismo na pós-modernidade não em regime de estrutura forte, verdade estável e absoluta, senão que em termos da caritas-caridade. Este movimento seria, para ele, a realização do tempo do Espírito preconizado pelo abade medieval Joaquim de Fiore. (shrink)

O presente artigo, refletindo sobre relação entre Mistério Pascal de Cristo, Liturgia e vida cotidiana, objetiva apresentar a salvação operada por Cristo na liturgia como uma ação inesgotável e constante que extrapola a história e atinge a existência humana. Através da ação litúrgica, o mistério pascal, centro da liturgia, é atualizado e sua celebração é transformada em momento de salvação, recuperação e engajamento de quem dela participa. Considerando alguns números da Constituição Sacrosanctum Concilium sobre a Sagrada Liturgia, comentados por vários (...) teólogos, notaremos ser impossível, depois da encarnação do Filho, o divórcio entre a liturgia e a vida da humanidade assumida por Deus dentro da história na qual também a salva. (shrink)

O bem-estar pessoal de adolescentes é um tema de crescente interesse na literatura científica, especialmente quando se considera a escassez de artigos que considerem o ponto de vista dos adolescentes. Este estudo busca analisar relações entre bem-estar pessoal de pais e filhos e seus valores aspirad..

Nesta investigação, propomo-nos demonstrar que Jesus foi um verdadeiro contador de histórias. A narrativa lucana conhecida tradicionalmente por parábola do Filho pródigo não é propriamente uma parábola, pois assume os contornos formais de um conto, podendo-se nela encontrar as caraterística centrais do género literário “o conto”. Nela encontramos propriedades configuradoras da sua individualização como género: a conclusão moralizante de uma história fechada, com princípio, meio e fim; a concentração de espaço, tempo e reduzido número de personagens; a curta extensão (...) sintagmática, mas sempre extensa comparada com a das parábolas. Em suma, concluímos que estamos perante um verdadeiro e extraordinário conto. Há, no entanto, outras narrativas evangélicas que pelas suas características se assemelham à do Filho pródigo. Podemos assim identificar a do Administrador infiel, a narrativa dos Vinhateiros homicidas, a das Moedas de ouro e respetivos paralelos de Mt, que se revestem de característica muito semelhantes às do Filho pródigo, apesar de muito menos desenvolvidas e que, no fundo, as consideramos como sendo embriões de contos. (shrink)